Conformance Testing from UML Specifications. Experience Report
نویسندگان
چکیده
UMLAUT is a framework for building tools dedicated to the manipulation of models described using the Unified Modeling Language (UML). TGV is a tool for the generation of conformance test suites for protocols. Both tools are connected so that it is possible to specify an application in UML and derive automatically some test cases. In this article, the integration of those tools in an industrial process is evaluated through a case study. This case study, proposed by Gemplus, is a Java Card applet: a classical electronic purse.
منابع مشابه
Fault-Based Conformance Testing in Practice
Conforming to protocol specifications is a critical issue in modern distributed software systems. Nowadays, complex service infrastructures, such as Voice-over-IP systems, are usually built by combining components of different vendors. If the components do not correctly implement the various protocol specifications, failures will certainly occur. In the case of emergency calls this may be even ...
متن کاملApplication Profiles and Tailor-Made Conformance Test Systems
This article examines the potential of application profiles and domain profiles as means to adapt technical specifications of data structures to particular needs. The authors argue that application profiling is better suited to increase the use of formal specifications than the creation of new specifications. The authors also describe a method to generate specific conformance test systems for m...
متن کاملTiming analysis of scenario-based specifications using linear programming
Scenario-based specifications such as UML interaction models offer an intuitive and visual way of describing design requirements, and are playing an increasingly important role in the design of software systems. In this paper, for specification and verification of real-time systems, we introduce more general and expressive timing constraints in UML sequence diagrams, and give an approach to tim...
متن کاملFormal specifications for protocols: Issues and experiences
With wide-spread acceptance of the ISO-OSI reference model and its standardized protocols in the areas of computer communication and information exchange, formal specifications have become an area of active research and development. This paper surveys issues and recent developments obtained mainly from our undergoing research. The discussion includes four important aspects of the area: protocol...
متن کاملA UML-integrated Test Description Language for Component Testing
A mass market in reusable components demands a high level of component quality, testing being a crucial part of software quality assurance. For components modelled in UML there are significant advantages to using UML also for the test description language. Since we wish to describe tests of non-trivial temporal ordering properties, we define our test description language based around UML intera...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2001